Optimal. Leaf size=515 \[ \frac{3 a^2 b^4 \sin (c+d x)}{2 d \left (a^2-b^2\right )^4 (a \cos (c+d x)+b)}-\frac{a^2 b^3 \sin (c+d x)}{2 d \left (a^2-b^2\right )^3 (a \cos (c+d x)+b)^2}+\frac{a^2 b^2 \left (3 a^2+b^2\right ) \sin (c+d x)}{d \left (a^2-b^2\right )^4 (a \cos (c+d x)+b)}-\frac{2 a b^3 \left (3 a^2+b^2\right ) \tanh ^{-1}\left (\frac{\sqrt{a-b} \tan \left (\frac{1}{2} (c+d x)\right )}{\sqrt{a+b}}\right )}{d (a-b)^{9/2} (a+b)^{9/2}}-\frac{a b^3 \left (a^2+2 b^2\right ) \tanh ^{-1}\left (\frac{\sqrt{a-b} \tan \left (\frac{1}{2} (c+d x)\right )}{\sqrt{a+b}}\right )}{d (a-b)^{9/2} (a+b)^{9/2}}-\frac{2 a b \left (8 a^2 b^2+3 a^4+b^4\right ) \tanh ^{-1}\left (\frac{\sqrt{a-b} \tan \left (\frac{1}{2} (c+d x)\right )}{\sqrt{a+b}}\right )}{d (a-b)^{9/2} (a+b)^{9/2}}-\frac{\sin (c+d x)}{12 d (a+b)^3 (1-\cos (c+d x))}-\frac{(a-2 b) \sin (c+d x)}{4 d (a+b)^4 (1-\cos (c+d x))}+\frac{(a+2 b) \sin (c+d x)}{4 d (a-b)^4 (\cos (c+d x)+1)}+\frac{\sin (c+d x)}{12 d (a-b)^3 (\cos (c+d x)+1)}-\frac{\sin (c+d x)}{12 d (a+b)^3 (1-\cos (c+d x))^2}+\frac{\sin (c+d x)}{12 d (a-b)^3 (\cos (c+d x)+1)^2} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.774694, antiderivative size = 515, normalized size of antiderivative = 1., number of steps used = 20, number of rules used = 9, integrand size = 21, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.429, Rules used = {3872, 2897, 2650, 2648, 2664, 2754, 12, 2659, 208} \[ \frac{3 a^2 b^4 \sin (c+d x)}{2 d \left (a^2-b^2\right )^4 (a \cos (c+d x)+b)}-\frac{a^2 b^3 \sin (c+d x)}{2 d \left (a^2-b^2\right )^3 (a \cos (c+d x)+b)^2}+\frac{a^2 b^2 \left (3 a^2+b^2\right ) \sin (c+d x)}{d \left (a^2-b^2\right )^4 (a \cos (c+d x)+b)}-\frac{2 a b^3 \left (3 a^2+b^2\right ) \tanh ^{-1}\left (\frac{\sqrt{a-b} \tan \left (\frac{1}{2} (c+d x)\right )}{\sqrt{a+b}}\right )}{d (a-b)^{9/2} (a+b)^{9/2}}-\frac{a b^3 \left (a^2+2 b^2\right ) \tanh ^{-1}\left (\frac{\sqrt{a-b} \tan \left (\frac{1}{2} (c+d x)\right )}{\sqrt{a+b}}\right )}{d (a-b)^{9/2} (a+b)^{9/2}}-\frac{2 a b \left (8 a^2 b^2+3 a^4+b^4\right ) \tanh ^{-1}\left (\frac{\sqrt{a-b} \tan \left (\frac{1}{2} (c+d x)\right )}{\sqrt{a+b}}\right )}{d (a-b)^{9/2} (a+b)^{9/2}}-\frac{\sin (c+d x)}{12 d (a+b)^3 (1-\cos (c+d x))}-\frac{(a-2 b) \sin (c+d x)}{4 d (a+b)^4 (1-\cos (c+d x))}+\frac{(a+2 b) \sin (c+d x)}{4 d (a-b)^4 (\cos (c+d x)+1)}+\frac{\sin (c+d x)}{12 d (a-b)^3 (\cos (c+d x)+1)}-\frac{\sin (c+d x)}{12 d (a+b)^3 (1-\cos (c+d x))^2}+\frac{\sin (c+d x)}{12 d (a-b)^3 (\cos (c+d x)+1)^2} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 3872
Rule 2897
Rule 2650
Rule 2648
Rule 2664
Rule 2754
Rule 12
Rule 2659
Rule 208
Rubi steps
\begin{align*} \int \frac{\csc ^4(c+d x)}{(a+b \sec (c+d x))^3} \, dx &=-\int \frac{\cot ^3(c+d x) \csc (c+d x)}{(-b-a \cos (c+d x))^3} \, dx\\ &=\int \left (\frac{1}{4 (a-b)^3 (-1-\cos (c+d x))^2}+\frac{-a-2 b}{4 (a-b)^4 (-1-\cos (c+d x))}+\frac{1}{4 (a+b)^3 (1-\cos (c+d x))^2}+\frac{a-2 b}{4 (a+b)^4 (1-\cos (c+d x))}+\frac{a b^3}{\left (a^2-b^2\right )^2 (-b-a \cos (c+d x))^3}+\frac{a b^2 \left (3 a^2+b^2\right )}{\left (a^2-b^2\right )^3 (-b-a \cos (c+d x))^2}+\frac{a b \left (3 a^4+8 a^2 b^2+b^4\right )}{\left (a^2-b^2\right )^4 (-b-a \cos (c+d x))}\right ) \, dx\\ &=\frac{\int \frac{1}{(-1-\cos (c+d x))^2} \, dx}{4 (a-b)^3}+\frac{(a-2 b) \int \frac{1}{1-\cos (c+d x)} \, dx}{4 (a+b)^4}+\frac{\int \frac{1}{(1-\cos (c+d x))^2} \, dx}{4 (a+b)^3}-\frac{(a+2 b) \int \frac{1}{-1-\cos (c+d x)} \, dx}{4 (a-b)^4}+\frac{\left (a b^3\right ) \int \frac{1}{(-b-a \cos (c+d x))^3} \, dx}{\left (a^2-b^2\right )^2}+\frac{\left (a b^2 \left (3 a^2+b^2\right )\right ) \int \frac{1}{(-b-a \cos (c+d x))^2} \, dx}{\left (a^2-b^2\right )^3}+\frac{\left (a b \left (3 a^4+8 a^2 b^2+b^4\right )\right ) \int \frac{1}{-b-a \cos (c+d x)} \, dx}{\left (a^2-b^2\right )^4}\\ &=-\frac{\sin (c+d x)}{12 (a+b)^3 d (1-\cos (c+d x))^2}-\frac{(a-2 b) \sin (c+d x)}{4 (a+b)^4 d (1-\cos (c+d x))}+\frac{\sin (c+d x)}{12 (a-b)^3 d (1+\cos (c+d x))^2}+\frac{(a+2 b) \sin (c+d x)}{4 (a-b)^4 d (1+\cos (c+d x))}-\frac{a^2 b^3 \sin (c+d x)}{2 \left (a^2-b^2\right )^3 d (b+a \cos (c+d x))^2}+\frac{a^2 b^2 \left (3 a^2+b^2\right ) \sin (c+d x)}{\left (a^2-b^2\right )^4 d (b+a \cos (c+d x))}-\frac{\int \frac{1}{-1-\cos (c+d x)} \, dx}{12 (a-b)^3}+\frac{\int \frac{1}{1-\cos (c+d x)} \, dx}{12 (a+b)^3}+\frac{\left (a b^3\right ) \int \frac{2 b-a \cos (c+d x)}{(-b-a \cos (c+d x))^2} \, dx}{2 \left (a^2-b^2\right )^3}+\frac{\left (a b^2 \left (3 a^2+b^2\right )\right ) \int \frac{b}{-b-a \cos (c+d x)} \, dx}{\left (a^2-b^2\right )^4}+\frac{\left (2 a b \left (3 a^4+8 a^2 b^2+b^4\right )\right ) \operatorname{Subst}\left (\int \frac{1}{-a-b+(a-b) x^2} \, dx,x,\tan \left (\frac{1}{2} (c+d x)\right )\right )}{\left (a^2-b^2\right )^4 d}\\ &=-\frac{2 a b \left (3 a^4+8 a^2 b^2+b^4\right ) \tanh ^{-1}\left (\frac{\sqrt{a-b} \tan \left (\frac{1}{2} (c+d x)\right )}{\sqrt{a+b}}\right )}{(a-b)^{9/2} (a+b)^{9/2} d}-\frac{\sin (c+d x)}{12 (a+b)^3 d (1-\cos (c+d x))^2}-\frac{(a-2 b) \sin (c+d x)}{4 (a+b)^4 d (1-\cos (c+d x))}-\frac{\sin (c+d x)}{12 (a+b)^3 d (1-\cos (c+d x))}+\frac{\sin (c+d x)}{12 (a-b)^3 d (1+\cos (c+d x))^2}+\frac{\sin (c+d x)}{12 (a-b)^3 d (1+\cos (c+d x))}+\frac{(a+2 b) \sin (c+d x)}{4 (a-b)^4 d (1+\cos (c+d x))}-\frac{a^2 b^3 \sin (c+d x)}{2 \left (a^2-b^2\right )^3 d (b+a \cos (c+d x))^2}+\frac{3 a^2 b^4 \sin (c+d x)}{2 \left (a^2-b^2\right )^4 d (b+a \cos (c+d x))}+\frac{a^2 b^2 \left (3 a^2+b^2\right ) \sin (c+d x)}{\left (a^2-b^2\right )^4 d (b+a \cos (c+d x))}+\frac{\left (a b^3\right ) \int \frac{a^2+2 b^2}{-b-a \cos (c+d x)} \, dx}{2 \left (a^2-b^2\right )^4}+\frac{\left (a b^3 \left (3 a^2+b^2\right )\right ) \int \frac{1}{-b-a \cos (c+d x)} \, dx}{\left (a^2-b^2\right )^4}\\ &=-\frac{2 a b \left (3 a^4+8 a^2 b^2+b^4\right ) \tanh ^{-1}\left (\frac{\sqrt{a-b} \tan \left (\frac{1}{2} (c+d x)\right )}{\sqrt{a+b}}\right )}{(a-b)^{9/2} (a+b)^{9/2} d}-\frac{\sin (c+d x)}{12 (a+b)^3 d (1-\cos (c+d x))^2}-\frac{(a-2 b) \sin (c+d x)}{4 (a+b)^4 d (1-\cos (c+d x))}-\frac{\sin (c+d x)}{12 (a+b)^3 d (1-\cos (c+d x))}+\frac{\sin (c+d x)}{12 (a-b)^3 d (1+\cos (c+d x))^2}+\frac{\sin (c+d x)}{12 (a-b)^3 d (1+\cos (c+d x))}+\frac{(a+2 b) \sin (c+d x)}{4 (a-b)^4 d (1+\cos (c+d x))}-\frac{a^2 b^3 \sin (c+d x)}{2 \left (a^2-b^2\right )^3 d (b+a \cos (c+d x))^2}+\frac{3 a^2 b^4 \sin (c+d x)}{2 \left (a^2-b^2\right )^4 d (b+a \cos (c+d x))}+\frac{a^2 b^2 \left (3 a^2+b^2\right ) \sin (c+d x)}{\left (a^2-b^2\right )^4 d (b+a \cos (c+d x))}+\frac{\left (a b^3 \left (a^2+2 b^2\right )\right ) \int \frac{1}{-b-a \cos (c+d x)} \, dx}{2 \left (a^2-b^2\right )^4}+\frac{\left (2 a b^3 \left (3 a^2+b^2\right )\right ) \operatorname{Subst}\left (\int \frac{1}{-a-b+(a-b) x^2} \, dx,x,\tan \left (\frac{1}{2} (c+d x)\right )\right )}{\left (a^2-b^2\right )^4 d}\\ &=-\frac{2 a b^3 \left (3 a^2+b^2\right ) \tanh ^{-1}\left (\frac{\sqrt{a-b} \tan \left (\frac{1}{2} (c+d x)\right )}{\sqrt{a+b}}\right )}{(a-b)^{9/2} (a+b)^{9/2} d}-\frac{2 a b \left (3 a^4+8 a^2 b^2+b^4\right ) \tanh ^{-1}\left (\frac{\sqrt{a-b} \tan \left (\frac{1}{2} (c+d x)\right )}{\sqrt{a+b}}\right )}{(a-b)^{9/2} (a+b)^{9/2} d}-\frac{\sin (c+d x)}{12 (a+b)^3 d (1-\cos (c+d x))^2}-\frac{(a-2 b) \sin (c+d x)}{4 (a+b)^4 d (1-\cos (c+d x))}-\frac{\sin (c+d x)}{12 (a+b)^3 d (1-\cos (c+d x))}+\frac{\sin (c+d x)}{12 (a-b)^3 d (1+\cos (c+d x))^2}+\frac{\sin (c+d x)}{12 (a-b)^3 d (1+\cos (c+d x))}+\frac{(a+2 b) \sin (c+d x)}{4 (a-b)^4 d (1+\cos (c+d x))}-\frac{a^2 b^3 \sin (c+d x)}{2 \left (a^2-b^2\right )^3 d (b+a \cos (c+d x))^2}+\frac{3 a^2 b^4 \sin (c+d x)}{2 \left (a^2-b^2\right )^4 d (b+a \cos (c+d x))}+\frac{a^2 b^2 \left (3 a^2+b^2\right ) \sin (c+d x)}{\left (a^2-b^2\right )^4 d (b+a \cos (c+d x))}+\frac{\left (a b^3 \left (a^2+2 b^2\right )\right ) \operatorname{Subst}\left (\int \frac{1}{-a-b+(a-b) x^2} \, dx,x,\tan \left (\frac{1}{2} (c+d x)\right )\right )}{\left (a^2-b^2\right )^4 d}\\ &=-\frac{2 a b^3 \left (3 a^2+b^2\right ) \tanh ^{-1}\left (\frac{\sqrt{a-b} \tan \left (\frac{1}{2} (c+d x)\right )}{\sqrt{a+b}}\right )}{(a-b)^{9/2} (a+b)^{9/2} d}-\frac{a b^3 \left (a^2+2 b^2\right ) \tanh ^{-1}\left (\frac{\sqrt{a-b} \tan \left (\frac{1}{2} (c+d x)\right )}{\sqrt{a+b}}\right )}{(a-b)^{9/2} (a+b)^{9/2} d}-\frac{2 a b \left (3 a^4+8 a^2 b^2+b^4\right ) \tanh ^{-1}\left (\frac{\sqrt{a-b} \tan \left (\frac{1}{2} (c+d x)\right )}{\sqrt{a+b}}\right )}{(a-b)^{9/2} (a+b)^{9/2} d}-\frac{\sin (c+d x)}{12 (a+b)^3 d (1-\cos (c+d x))^2}-\frac{(a-2 b) \sin (c+d x)}{4 (a+b)^4 d (1-\cos (c+d x))}-\frac{\sin (c+d x)}{12 (a+b)^3 d (1-\cos (c+d x))}+\frac{\sin (c+d x)}{12 (a-b)^3 d (1+\cos (c+d x))^2}+\frac{\sin (c+d x)}{12 (a-b)^3 d (1+\cos (c+d x))}+\frac{(a+2 b) \sin (c+d x)}{4 (a-b)^4 d (1+\cos (c+d x))}-\frac{a^2 b^3 \sin (c+d x)}{2 \left (a^2-b^2\right )^3 d (b+a \cos (c+d x))^2}+\frac{3 a^2 b^4 \sin (c+d x)}{2 \left (a^2-b^2\right )^4 d (b+a \cos (c+d x))}+\frac{a^2 b^2 \left (3 a^2+b^2\right ) \sin (c+d x)}{\left (a^2-b^2\right )^4 d (b+a \cos (c+d x))}\\ \end{align*}
Mathematica [A] time = 1.07206, size = 388, normalized size = 0.75 \[ \frac{\sec ^3(c+d x) (a \cos (c+d x)+b) \left (\csc ^3(c+d x) \left (-154 a^5 b^2 \cos (3 (c+d x))+62 a^5 b^2 \cos (5 (c+d x))+110 a^4 b^3 \cos (4 (c+d x))-205 a^3 b^4 \cos (3 (c+d x))+39 a^3 b^4 \cos (5 (c+d x))+120 a^2 b^5 \cos (4 (c+d x))-2 a \left (-94 a^4 b^2-35 a^2 b^4+16 a^6+8 b^6\right ) \cos (c+d x)+8 \left (-56 a^2 b^5-45 a^4 b^3+2 a^6 b-6 b^7\right ) \cos (2 (c+d x))+154 a^4 b^3+424 a^2 b^5-20 a^6 b \cos (4 (c+d x))+36 a^6 b-4 a^7 \cos (3 (c+d x))+4 a^7 \cos (5 (c+d x))+48 a b^6 \cos (3 (c+d x))+16 b^7\right )+\frac{96 a b \left (23 a^2 b^2+6 a^4+6 b^4\right ) (a \cos (c+d x)+b)^2 \tanh ^{-1}\left (\frac{(b-a) \tan \left (\frac{1}{2} (c+d x)\right )}{\sqrt{a^2-b^2}}\right )}{\sqrt{a^2-b^2}}\right )}{96 d \left (a^2-b^2\right )^4 (a+b \sec (c+d x))^3} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.102, size = 328, normalized size = 0.6 \begin{align*}{\frac{1}{d} \left ({\frac{1}{ \left ( 8\,{a}^{3}-24\,{a}^{2}b+24\,a{b}^{2}-8\,{b}^{3} \right ) \left ( a-b \right ) } \left ({\frac{a}{3} \left ( \tan \left ({\frac{dx}{2}}+{\frac{c}{2}} \right ) \right ) ^{3}}-{\frac{b}{3} \left ( \tan \left ({\frac{dx}{2}}+{\frac{c}{2}} \right ) \right ) ^{3}}+3\,a\tan \left ( 1/2\,dx+c/2 \right ) +3\,b\tan \left ( 1/2\,dx+c/2 \right ) \right ) }+2\,{\frac{ab}{ \left ( a-b \right ) ^{4} \left ( a+b \right ) ^{4}} \left ({\frac{ \left ( 5/2\,{a}^{3}{b}^{2}+3\,a{b}^{4}-3\,{a}^{4}b-5/2\,{a}^{2}{b}^{3} \right ) \left ( \tan \left ( 1/2\,dx+c/2 \right ) \right ) ^{3}+ \left ( 5/2\,{a}^{3}{b}^{2}+3\,a{b}^{4}+3\,{a}^{4}b+5/2\,{a}^{2}{b}^{3} \right ) \tan \left ( 1/2\,dx+c/2 \right ) }{ \left ( \left ( \tan \left ( 1/2\,dx+c/2 \right ) \right ) ^{2}a- \left ( \tan \left ( 1/2\,dx+c/2 \right ) \right ) ^{2}b-a-b \right ) ^{2}}}-1/2\,{\frac{6\,{a}^{4}+23\,{a}^{2}{b}^{2}+6\,{b}^{4}}{\sqrt{ \left ( a+b \right ) \left ( a-b \right ) }}{\it Artanh} \left ({\frac{ \left ( a-b \right ) \tan \left ( 1/2\,dx+c/2 \right ) }{\sqrt{ \left ( a+b \right ) \left ( a-b \right ) }}} \right ) } \right ) }-{\frac{1}{24\, \left ( a+b \right ) ^{3}} \left ( \tan \left ({\frac{dx}{2}}+{\frac{c}{2}} \right ) \right ) ^{-3}}-{\frac{3\,a-3\,b}{8\, \left ( a+b \right ) ^{4}} \left ( \tan \left ({\frac{dx}{2}}+{\frac{c}{2}} \right ) \right ) ^{-1}} \right ) } \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F(-2)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Exception raised: ValueError} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 2.72401, size = 3421, normalized size = 6.64 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{\csc ^{4}{\left (c + d x \right )}}{\left (a + b \sec{\left (c + d x \right )}\right )^{3}}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.45734, size = 957, normalized size = 1.86 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]